Authoring Operations Based on Weighted Schemata

نویسنده

  • Felix H. Gatzemeier
چکیده

Conceptual authoring support enables authors to model the content of their documents, giving them both constructive and analytical aid. One key aspect of the constructive aid are schemata that contain proven structures that the author may instantiate in her document. This paper presents operations offered in an authoring system partially derived from extended schema definitions. The author may instantiate a schema, expanding an existing concept. In contrast with classical CG, the join with the host graph is not maximal, but determined by the author. Generic commands allow concepts and relations to be created, edited and deleted. Analytical aid based on schemata checks whether a schema instance has been severely mutilated after instantiation. In order to do this, schema elements (concepts and relations) are given weight parameters. Removal of schema instance elements triggers warnings of varying severity and with appropriate fixing operations.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Development of Correct Transformation Schemata for Prolog Programs 1 Schema-based Transformations

Schema-based program transformation 5] has been proposed as an eeective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineecient constructs to more eecient ones. One challenging aspect of the technique is that of proving that the schemata are correct. This paper describes work in progress addressing the issue of correctness. We deene operation...

متن کامل

Patterns, Schemata, and Types - Author Support through Formalized Experience

Conceptual authoring support provides tools to help authors construct and organize their document on the conceptual level. As computer-based tools are purely formal entities, they cannot handle natural language itself. Instead, they provide the author with directions and examples that (if adopted) remain linked to the text. This paper discusses several levels of such directions: A Pattern descr...

متن کامل

A standard Interactive Multimedia eBook Generator Engine for e-Learning Process

Introduction: Using standard authoring tools is essential to promote E-Learning in teaching-learning process. Learning content in medical sciences often consists of multimedia elements. On the other hand, it is frequently required to revise and update the medical content. Hence, access to the authoring tools that can encompass multimedia elements and allow easy content revision is helpful in e-...

متن کامل

Logic program development based on typed moded schemata and data types

The main contribution of the thesis is to develop a comprehensive framework for developinglogic programs using ve program schemata and some basic data types, and to evaluate itssuitability for developing sizable programs. The schemata are intended to capture designdecisions made by a programmer during top-down re nement of a predicate. The schemataare completely independent from...

متن کامل

Semantic Approaches to Structuring and Querying Web Sites

In order to pose eeective queries to Web sites, some form of site data model must be implicitly or explicitly shared by users. Many approaches try to compensate for the lack of such a common model by considering the hypertex-tual structure of Web sites; unfortunately, this structure has usually little to do with data semantics. In this paper a diierent technique is proposed that allows for both...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001